Modeling and Tracing Stakeholders' Goals across Notations using RE-Tools

نویسندگان

  • Sam Supakkul
  • Lawrence Chung
  • R. J. Macasaet
  • José Luis Garrido
  • María Luisa Rodríguez
  • Manuel Noguera
چکیده

The ability to represent stakeholders’ goals and their operationalizations, through tasks, resources, system requirements and specifications, helps better ensure that the projected system meets its intended goals. To offer such an ability, various notations have been developed, but somewhat independently of each other, each for its own concepts and with its own tool. As a result, it is difficult to establish end-to-end traceability among the various concepts. This paper presents RE-Tools a toolkit towards an integrated modeling of such concepts, using i*, the NFR framework, KAOS and Problem Frames. RE-Tools uses a meta-model approach to representing and integrating the notations, which includes shared, generalized meta-classes and cross-notational goal achievement contribution links. This approach is intended to allow for a uniform application of the Label Propagation Procedure in determining goal achievement across the supported notations, using either the open or closed world assumption. 1 General Information Name RE-Tools[1] Version 2.0 Information http://www.utdallas.edu/~supakkul/tools/RE-Tools Frameworks i* [2], NFR Framework [3], KAOS [4], Problem Frames [5], UML Purposes Modeling and reasoning support, foundation for other tools [6] Features Integrated modeling environment, automated and integrated Label Propagation Procedure using open or closed world assumption, UML Profile-based meta-model, navigatable inmemory models, interchangeable XMI/XML file format, extension via plug-in and APIs, open-source, Windows OS supported. Status Publicly available since 2009, with around 1,300 downloads from around 65 countries to date, for use in teaching, research, and industrial practice, including Australia, Brazil, Canada, China, France, Italy, the Philippines, Spain, UK, and the US Industry use Internal use at Sabre and Pentathlon Systems Resources Proceedings of the 6th International i* Workshop (iStar 2013), CEUR Vol-978

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Velocity Modeling in a Vertical Transversely Isotropic Medium Using Zelt Method

In the present paper, the Zelt algorithm has been extended for ray tracing through an anisotropic model. In anisotropic media, the direction of the propagated energy generally differs from that of the plane-wave propagation. This makes velocity values to be varied in different directions. Therefore, velocity modeling in such media is completely different from that in an isotropic media. The vel...

متن کامل

Traceability Across Refinement Steps in UML Modeling

Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in differe...

متن کامل

Requirements Analysis from Multiple Perspectives : Experiences with Conceptual Modeling

Informal, teamwork-oriented methods for requirements engineering can be strengthened by conceptual modeling tools for the analysis and interrelation of viewpoints expressed by multiple stakeholders in multiple diierent notations. Experiences gained with the meta data management system ConceptBase show that a simple but cus-tomizable meta modeling approach, combined with advanced query and view ...

متن کامل

Integrating Informal and Formal Approaches to Requirements Modeling and Analysis

The Unified Modeling Language (UML) comprises several different notations for object-oriented modeling with no formal semantics attached to the individual diagrams. We have developed a generic framework for formalizing a subset of UML diagrams in terms of various formal languages, with a focus on embedded systems. We have formalized UML in terms of Promela, thus enabling analysis of the UML dia...

متن کامل

Modeling organizational goals:

Organizational change, whether it involves the development of a computerized system or the re-engineering of business processes, is a purposive activity driven by the goals of the involved stakeholders. Its effectiveness depends on being able to make good decisions about what goals to pursue and on selecting the appropriate strategies for achieving the desired goals. This paper presents an anal...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013